Modularity and Compositionality in Jason
نویسندگان
چکیده
In this paper, we present our experiences using the Jason agent-oriented programming language to develop a complex multi-agent application. We highlight a number of shortcomings in the current design of the language when building complex agents, and propose revisions to the language to allow the development of modular programs that facilitate code reuse and independent development. In particular, we propose a mechanism for modular construction of agents from functionally encapsulated components, and discuss alterations to the belief base language to enable more robust software engineering.
منابع مشابه
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach
A top down development is presented of a distributed priority queue. The crucial characteristic that enables this development is the compositionality of the formalism used. Actually we argue that a stronger requirement is needed which combines compositionality with the ability to adapt given specifications, called modularity.
متن کاملMining Overlapping Communities in Real-world Networks Based on Extended Modularity Gain
Detecting communities plays a vital role in studying group level patterns of a social network and it can be helpful in developing several recommendation systems such as movie recommendation, book recommendation, friend recommendation and so on. Most of the community detection algorithms can detect disjoint communities only, but in the real time scenario, a node can be a member of more than one ...
متن کاملModular Representations of Cognitive Phenomena in AI, Psychology and Neuroscience
Many architectures of mind assume some form of modularity, but what is meant by the term ‘module’? This chapter creates a framework for understanding current modularity research in three subdisciplines of cognitive science — psychology, artificial intelligence and neuroscience. This framework starts from the distinction between horizontal modules which support all expressed behaviors vs. vertic...
متن کاملImproving the Compositionality of Separation Algebras
We show how to improve one of the constructors of separation algebras to increase modularity and expressibility. Our technique has advantages for both paper and mechanized proofs. Our results are implemented in Coq.
متن کاملCompositionality, context, and cognition: comment on "Embodied language, best fit analysis, and formal compositionality" by J. Feldman.
Feldman’s project [1] has the ambitious goal of giving a compositional account of the “full range of meanings” in human language, one which meets the high standards of formalization found in formal semantics but is built on a theory of “embodied cognition”, takes into account the neurobiological substrate of language, and makes use of representations of world knowledge and discourse and situati...
متن کامل